Zhongyu Chen College of Mathematics, Physics and Information Engineering Zhejiang Normal University Zhejiang 321004, China School of Computer Engineering and Science Shanghai University Shanghai 200444, ChinaJichang Zhang College of Mathematics, Physics and Information Engineering Zhejiang Normal University Zhejiang 321004, ChinaHuaikou Miao School of Computer Engineering and Science Shanghai University Shanghai 200444, ChinaZhenghu Guo College of Mathematics, Physics and Information Engineering Zhejiang Normal University Zhejiang 321004, China
摘 要:System behaviors are implemented through interacting between components during the method of component-based software development. Therefore, how to formal the component behaviors have become an important problem. This paper presents a component behavioral modeling method based on event track, which utilize a process with the event track to describe the behavior of component, the event set may be involved in the components were extended to the pointed set, the possible behavior of component in a given environment seen as an event track. This method can effectively solve parallel composition of component behaviors with synchronization constraints. Finally, this paper illustrates concrete details by an example.
关键词:event track; component behavior; component interaction; parallel composition
馆藏号:p10349
所有评论仅代表网友意见